het toenmalig gemeentehuis